Personal Reflections on Immutable Linux
hackaday.com·13h
🔬Unikernels
Stop using nix-env
stop-using-nix-env.privatevoid.net·3d·
Discuss: Lobsters, Hacker News
❄️Nix
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·8h·
Discuss: r/programming
🐫OCaml
Flox Build and Publish
flox.dev·2d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nix
Why can't anything in open source work following the instructions.
reddit.com·1h·
Discuss: r/homelab
📦Unikernel Systems
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·15h·
Discuss: Hacker News
🔄Reproducible Builds
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Monitoring My Homelab, Simply
b.tuxes.uk·19h·
Discuss: Lobsters, Hacker News
👁️System Observability
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·2h
🔍Formal Verification
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·11h·
Discuss: Hacker News
💾Retro Computing
Updating an old Ubuntu to a supported version
anonymoushash.vmbrasseur.com·7h·
Discuss: Hacker News
🔬Unikernels
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·12h·
Discuss: Hacker News
🔄Reproducible Builds
Publish all your crates everywhere all at once
tweag.io·1d·
Discuss: Hacker News
⎈Kubernetes
Orca Build System
orca-app.dev·17h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·10h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·13h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·16h·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
The XINU Page
xinu.cs.purdue.edu·7h·
Discuss: Hacker News
📦Unikernel Systems